#include "defs.h"
#include <string.h>

int either_copyout(int user_dst, uint64 dst, void* src, uint len){
  memcpy((void*)dst, src, len);
  return 0;
}

int either_copyin(void * dst, int user_src, uint64 src, uint64 len)
{
  memcpy(dst, (void *)src, len);
  return 0;
}
